Sequential Composition in the Presence of Intermediate Termination
نویسندگان
چکیده
The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between context-free and push-down processes fails modulo bisimilarity, and it is not clear how to specify an always terminating half counter. We propose a revised operational semantics for the sequential composition operator in the context of intermediate termination. With the revised operational semantics, we eliminate transparency. As a consequence, we establish a correspondence between context-free processes and pushdown processes. Moreover, we prove the reactive Turing powerfulness of TCP with iteration and nesting with the revised operational semantics for sequential composition.
منابع مشابه
Sequential Composition in the Presence of Intermediate Termination (Extended Abstract)
The standard operational semantics of the sequential composition operator gives rise to unbounded branching and forgetfulness when transparent process expressions are put in sequence. Due to transparency, the correspondence between context-free and pushdown processes fails modulo bisimilarity, and it is not clear how to specify an always terminating half counter. We propose a revised operationa...
متن کاملOPTIMAL DESIGN OF DOUBLE LAYER GRIDS CONSIDERING NONLINEAR BEHAVIOUR BY SEQUENTIAL GREY WOLF ALGORITHM
The present paper tackles the optimization problem of double layer grids considering nonlinear behaviour. In this paper, an efficient optimization algorithm is proposed to achieve the optimization task based on the newly developed grey wolf algorithm (GWA) termed as sequential GWA (SGWA). In the framework of SGWA, a sequence of optimization processe...
متن کاملDifferential Impact of Sequential and Simultaneous Input Enhancement on Iranian EFL Learners’ Intake
This study set out to explore whether different input enhancement tasks as implicit instruction techniques had any significant impact on the intake of causative verbs in English as a foreign language among Iranian EFL learners. For this purpose, three intact classes consisting of 75 male and female intermediate L2 learners were randomly divided into three conditions: simultaneous grammar consci...
متن کاملLaws of Parallel Synchronised Termination
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronously. This paper studies the inequational partial correctness properties of the combination of sequential and parallel composition operators for Gamma programs, provable from a particular compositional semantics (Brookes...
متن کاملAn Investigation of the Composition of Iran's Import Demand: Capital, Intermediate and Consumer Goods during 1978-2004
The objective of this study has been to develop a typical specification of the Almost Ideal Demand System (AIDS) for Iranâs composition of imports including capital, intermediate and consumer goods. Accordingly, we first test the hypotheses that import demand is homothetic, homogeneous, symmetric, and depends on domestic prices. Then, we estimate the long-run elasticities of the composition o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1706.08401 شماره
صفحات -
تاریخ انتشار 2017